type Other = {
  [0]: 3;
};
type Foo = {
  [K in keyof Other]: `\${K & number}`;
};

type Foo = {
  [K in 0 | 1 | 2]: 0;
};